<?php
class Type_Exception extends Exception {}
?>